Implicit Q Theorem